3.1932 \(\int (1-2 x)^{5/2} (2+3 x)^2 (3+5 x) \, dx\)

Optimal. Leaf size=53 \[ \frac {45}{104} (1-2 x)^{13/2}-\frac {309}{88} (1-2 x)^{11/2}+\frac {707}{72} (1-2 x)^{9/2}-\frac {77}{8} (1-2 x)^{7/2} \]

[Out]

-77/8*(1-2*x)^(7/2)+707/72*(1-2*x)^(9/2)-309/88*(1-2*x)^(11/2)+45/104*(1-2*x)^(13/2)

________________________________________________________________________________________

Rubi [A]  time = 0.01, antiderivative size = 53, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 1, integrand size = 22, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.045, Rules used = {77} \[ \frac {45}{104} (1-2 x)^{13/2}-\frac {309}{88} (1-2 x)^{11/2}+\frac {707}{72} (1-2 x)^{9/2}-\frac {77}{8} (1-2 x)^{7/2} \]

Antiderivative was successfully verified.

[In]

Int[(1 - 2*x)^(5/2)*(2 + 3*x)^2*(3 + 5*x),x]

[Out]

(-77*(1 - 2*x)^(7/2))/8 + (707*(1 - 2*x)^(9/2))/72 - (309*(1 - 2*x)^(11/2))/88 + (45*(1 - 2*x)^(13/2))/104

Rule 77

Int[((a_.) + (b_.)*(x_))*((c_) + (d_.)*(x_))^(n_.)*((e_.) + (f_.)*(x_))^(p_.), x_Symbol] :> Int[ExpandIntegran
d[(a + b*x)*(c + d*x)^n*(e + f*x)^p, x], x] /; FreeQ[{a, b, c, d, e, f, n}, x] && NeQ[b*c - a*d, 0] && ((ILtQ[
n, 0] && ILtQ[p, 0]) || EqQ[p, 1] || (IGtQ[p, 0] && ( !IntegerQ[n] || LeQ[9*p + 5*(n + 2), 0] || GeQ[n + p + 1
, 0] || (GeQ[n + p + 2, 0] && RationalQ[a, b, c, d, e, f]))))

Rubi steps

\begin {align*} \int (1-2 x)^{5/2} (2+3 x)^2 (3+5 x) \, dx &=\int \left (\frac {539}{8} (1-2 x)^{5/2}-\frac {707}{8} (1-2 x)^{7/2}+\frac {309}{8} (1-2 x)^{9/2}-\frac {45}{8} (1-2 x)^{11/2}\right ) \, dx\\ &=-\frac {77}{8} (1-2 x)^{7/2}+\frac {707}{72} (1-2 x)^{9/2}-\frac {309}{88} (1-2 x)^{11/2}+\frac {45}{104} (1-2 x)^{13/2}\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]  time = 0.03, size = 28, normalized size = 0.53 \[ -\frac {(1-2 x)^{7/2} \left (4455 x^3+11394 x^2+10540 x+3712\right )}{1287} \]

Antiderivative was successfully verified.

[In]

Integrate[(1 - 2*x)^(5/2)*(2 + 3*x)^2*(3 + 5*x),x]

[Out]

-1/1287*((1 - 2*x)^(7/2)*(3712 + 10540*x + 11394*x^2 + 4455*x^3))

________________________________________________________________________________________

fricas [A]  time = 0.88, size = 39, normalized size = 0.74 \[ \frac {1}{1287} \, {\left (35640 \, x^{6} + 37692 \, x^{5} - 25678 \, x^{4} - 32875 \, x^{3} + 7302 \, x^{2} + 11732 \, x - 3712\right )} \sqrt {-2 \, x + 1} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((1-2*x)^(5/2)*(2+3*x)^2*(3+5*x),x, algorithm="fricas")

[Out]

1/1287*(35640*x^6 + 37692*x^5 - 25678*x^4 - 32875*x^3 + 7302*x^2 + 11732*x - 3712)*sqrt(-2*x + 1)

________________________________________________________________________________________

giac [A]  time = 1.08, size = 65, normalized size = 1.23 \[ \frac {45}{104} \, {\left (2 \, x - 1\right )}^{6} \sqrt {-2 \, x + 1} + \frac {309}{88} \, {\left (2 \, x - 1\right )}^{5} \sqrt {-2 \, x + 1} + \frac {707}{72} \, {\left (2 \, x - 1\right )}^{4} \sqrt {-2 \, x + 1} + \frac {77}{8} \, {\left (2 \, x - 1\right )}^{3} \sqrt {-2 \, x + 1} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((1-2*x)^(5/2)*(2+3*x)^2*(3+5*x),x, algorithm="giac")

[Out]

45/104*(2*x - 1)^6*sqrt(-2*x + 1) + 309/88*(2*x - 1)^5*sqrt(-2*x + 1) + 707/72*(2*x - 1)^4*sqrt(-2*x + 1) + 77
/8*(2*x - 1)^3*sqrt(-2*x + 1)

________________________________________________________________________________________

maple [A]  time = 0.00, size = 25, normalized size = 0.47 \[ -\frac {\left (4455 x^{3}+11394 x^{2}+10540 x +3712\right ) \left (-2 x +1\right )^{\frac {7}{2}}}{1287} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((-2*x+1)^(5/2)*(3*x+2)^2*(5*x+3),x)

[Out]

-1/1287*(4455*x^3+11394*x^2+10540*x+3712)*(-2*x+1)^(7/2)

________________________________________________________________________________________

maxima [A]  time = 0.50, size = 37, normalized size = 0.70 \[ \frac {45}{104} \, {\left (-2 \, x + 1\right )}^{\frac {13}{2}} - \frac {309}{88} \, {\left (-2 \, x + 1\right )}^{\frac {11}{2}} + \frac {707}{72} \, {\left (-2 \, x + 1\right )}^{\frac {9}{2}} - \frac {77}{8} \, {\left (-2 \, x + 1\right )}^{\frac {7}{2}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((1-2*x)^(5/2)*(2+3*x)^2*(3+5*x),x, algorithm="maxima")

[Out]

45/104*(-2*x + 1)^(13/2) - 309/88*(-2*x + 1)^(11/2) + 707/72*(-2*x + 1)^(9/2) - 77/8*(-2*x + 1)^(7/2)

________________________________________________________________________________________

mupad [B]  time = 0.04, size = 37, normalized size = 0.70 \[ \frac {707\,{\left (1-2\,x\right )}^{9/2}}{72}-\frac {77\,{\left (1-2\,x\right )}^{7/2}}{8}-\frac {309\,{\left (1-2\,x\right )}^{11/2}}{88}+\frac {45\,{\left (1-2\,x\right )}^{13/2}}{104} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((1 - 2*x)^(5/2)*(3*x + 2)^2*(5*x + 3),x)

[Out]

(707*(1 - 2*x)^(9/2))/72 - (77*(1 - 2*x)^(7/2))/8 - (309*(1 - 2*x)^(11/2))/88 + (45*(1 - 2*x)^(13/2))/104

________________________________________________________________________________________

sympy [B]  time = 1.96, size = 100, normalized size = 1.89 \[ \frac {360 x^{6} \sqrt {1 - 2 x}}{13} + \frac {4188 x^{5} \sqrt {1 - 2 x}}{143} - \frac {25678 x^{4} \sqrt {1 - 2 x}}{1287} - \frac {32875 x^{3} \sqrt {1 - 2 x}}{1287} + \frac {2434 x^{2} \sqrt {1 - 2 x}}{429} + \frac {11732 x \sqrt {1 - 2 x}}{1287} - \frac {3712 \sqrt {1 - 2 x}}{1287} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((1-2*x)**(5/2)*(2+3*x)**2*(3+5*x),x)

[Out]

360*x**6*sqrt(1 - 2*x)/13 + 4188*x**5*sqrt(1 - 2*x)/143 - 25678*x**4*sqrt(1 - 2*x)/1287 - 32875*x**3*sqrt(1 -
2*x)/1287 + 2434*x**2*sqrt(1 - 2*x)/429 + 11732*x*sqrt(1 - 2*x)/1287 - 3712*sqrt(1 - 2*x)/1287

________________________________________________________________________________________